<html>
<head><meta charset="utf-8"><title>meeting 2018-09-13 · t-lang/wg-unsafe-code-guidelines · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/index.html">t-lang/wg-unsafe-code-guidelines</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html">meeting 2018-09-13</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="133772523"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133772523" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133772523">(Sep 12 2018 at 01:44)</a>:</h4>
<p>I'm getting together information for the meeting on Thursday. Post anything you think is relevant/progress/etc here (or PM me idc)</p>



<a name="133778477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133778477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133778477">(Sep 12 2018 at 05:04)</a>:</h4>
<p>It's at 8:15 PST, right?</p>



<a name="133800871"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133800871" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133800871">(Sep 12 2018 at 14:05)</a>:</h4>
<p>Yup--do you have/want a calendar invite?</p>



<a name="133800936"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133800936" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133800936">(Sep 12 2018 at 14:06)</a>:</h4>
<p>I have a calendar invite, but I forgot that I have no idea how to use google calendar :P</p>



<a name="133805334"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133805334" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133805334">(Sep 12 2018 at 15:15)</a>:</h4>
<p><span class="emoji emoji-1f44b" title="wave">:wave:</span></p>



<a name="133805420"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133805420" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133805420">(Sep 12 2018 at 15:16)</a>:</h4>
<p>where are we actually having this meeting?</p>



<a name="133805439"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133805439" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133805439">(Sep 12 2018 at 15:17)</a>:</h4>
<p><span class="user-mention" data-user-id="126854">@avadacatavra</span></p>



<a name="133805458"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133805458" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133805458">(Sep 12 2018 at 15:17)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/pull/53783" target="_blank" title="https://github.com/rust-lang/rust/pull/53783">https://github.com/rust-lang/rust/pull/53783</a></p>



<a name="133806132"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133806132" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133806132">(Sep 12 2018 at 15:27)</a>:</h4>
<p>I definitely misread as tuesday and woke up way too early lol. gj me</p>



<a name="133810748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133810748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133810748">(Sep 12 2018 at 16:33)</a>:</h4>
<blockquote>
<p>I'm getting together information for the meeting on Thursday. Post anything you think is relevant/progress/etc here (or PM me idc)</p>
</blockquote>
<p>I've been meaning to go through the issues and try to do some summarizing, but I didn't have time</p>



<a name="133810795"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133810795" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133810795">(Sep 12 2018 at 16:34)</a>:</h4>
<p>we've not done a great job of following through on that part of the plan <span class="user-mention" data-user-id="126854">@avadacatavra</span> :P</p>



<a name="133810813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133810813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133810813">(Sep 12 2018 at 16:34)</a>:</h4>
<p>but maybe that's a good work item over next couple of weeks, I think it's too much work for me to take on anyway</p>



<a name="133811807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133811807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133811807">(Sep 12 2018 at 16:51)</a>:</h4>
<p>Just... ignore me. My brain is terrible at time.</p>



<a name="133844781"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133844781" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133844781">(Sep 12 2018 at 21:19)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> i'm summarizing the best i can and i think that will probs be a topic of discussion (aka...sooo we have this stuff who wants to write it up)</p>



<a name="133891762"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133891762" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133891762">(Sep 13 2018 at 15:14)</a>:</h4>
<p>Hello! Thanks for joining us (both synchronously and asynchronously)--as a reminder, meetings are intended to gauge progress and figure out what to work on/how things are going, not Mariana trench deep discussions :)</p>
<p>Agenda:</p>
<ul>
<li>How is the format working?<ul>
<li>GH issue discussion</li>
<li>when we have a 'consensus,' what do we do then? (I'm happy to try and summarize discussions where I can, provided that others review)</li>
<li>How should we track things we want to revisit (e.g. they come up now, but are largely orthogonal to the active discussion)</li>
</ul>
</li>
<li>Active discussion: it seems like we might have a consensus on unions, tuples, function pointers. Any disagreements? Others?<ul>
<li>What needs more work</li>
<li>It doesn't seem like we're ready to move on to the next topic</li>
</ul>
</li>
<li>What will we discuss over the next few weeks?</li>
</ul>



<a name="133891797"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133891797" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133891797">(Sep 13 2018 at 15:15)</a>:</h4>
<p>Hi!</p>



<a name="133891812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133891812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133891812">(Sep 13 2018 at 15:15)</a>:</h4>
<p>Hi everyone! I've just posted the agenda (I'll try to post it earlier next time so you can look over it if desired). The first thing I'd like to talk about is what you think of the discussion format--is it working? Are we having productive discussions? Are there suggestions for improvement?</p>



<a name="133892078"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133892078" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133892078">(Sep 13 2018 at 15:17)</a>:</h4>
<p>From a slightly semi-detached view, the discussions have been good, I'm not sure what the process is for turning them into artifacts is though.</p>



<a name="133892341"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133892341" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133892341">(Sep 13 2018 at 15:19)</a>:</h4>
<p><span class="user-mention" data-user-id="128323">@Alan Jeffrey</span> the "plan" (for some definition of the word) is to have writeups in an md book once we have a consensus/thorough discussion to be written up</p>



<a name="133892389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133892389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133892389">(Sep 13 2018 at 15:19)</a>:</h4>
<p>who does the work/how we track it is tbd afaik</p>



<a name="133892456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133892456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133892456">(Sep 13 2018 at 15:19)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span class="user-mention" data-user-id="120791">@RalfJ</span> you around?</p>



<a name="133892748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133892748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133892748">(Sep 13 2018 at 15:21)</a>:</h4>
<p>I'm not sure what you mean by "we might have a consensus on unions, tuples, function pointers". I don't know what we have a consensus on?</p>



<a name="133892851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133892851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133892851">(Sep 13 2018 at 15:22)</a>:</h4>
<p>I'm here, sorry :)</p>



<a name="133892855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133892855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133892855">(Sep 13 2018 at 15:22)</a>:</h4>
<p>/me reads backscroll quickly</p>



<a name="133892873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133892873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133892873">(Sep 13 2018 at 15:22)</a>:</h4>
<p><span class="user-mention" data-user-id="125253">@Nicole Mazzuca</span> it seems like in <a href="https://github.com/rust-rfcs/unsafe-code-guidelines/issues/12" target="_blank" title="https://github.com/rust-rfcs/unsafe-code-guidelines/issues/12">https://github.com/rust-rfcs/unsafe-code-guidelines/issues/12</a>, we can basically agree on "For the record, there's a compromise solution: special casing structs and tuples with homogeneous contents (and making them equivalent to arrays) without guaranteeing much about the layout of either tuples or structs that have heterogeneous contents."</p>



<a name="133892890"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133892890" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133892890">(Sep 13 2018 at 15:23)</a>:</h4>
<p><span class="user-mention" data-user-id="125253">@Nicole Mazzuca</span> on the memory layout?</p>



<a name="133892895"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133892895" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133892895">(Sep 13 2018 at 15:23)</a>:</h4>
<p>so, I agree with you agenda :) I think my take is similar to <span class="user-mention" data-user-id="128323">@Alan Jeffrey</span> — the basic idea is working ok, but I think we need to get started on trying to produce concrete summaries</p>



<a name="133892906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133892906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133892906">(Sep 13 2018 at 15:23)</a>:</h4>
<p>(in retrospect I think I would like to have designated people doing this earlier and more actively)</p>



<a name="133892993"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133892993" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133892993">(Sep 13 2018 at 15:24)</a>:</h4>
<p>I think in some cases there is a bit of license permitted here too, and that's ok</p>



<a name="133892998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133892998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133892998">(Sep 13 2018 at 15:24)</a>:</h4>
<p>e.g., for <a href="https://github.com/rust-rfcs/unsafe-code-guidelines/issues/12" target="_blank" title="https://github.com/rust-rfcs/unsafe-code-guidelines/issues/12">tuples</a>...</p>



<a name="133893001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893001">(Sep 13 2018 at 15:24)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> would we have one PR per issue?</p>



<a name="133893005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893005">(Sep 13 2018 at 15:24)</a>:</h4>
<blockquote>
<p><span class="user-mention" data-user-id="125253">@Nicole Mazzuca</span> it seems like in <a href="https://github.com/rust-rfcs/unsafe-code-guidelines/issues/12" target="_blank" title="https://github.com/rust-rfcs/unsafe-code-guidelines/issues/12">https://github.com/rust-rfcs/unsafe-code-guidelines/issues/12</a>, we can basically agree </p>
</blockquote>
<p>which might not be the case, but seems like that's likely a good starting point there</p>



<a name="133893027"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893027" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893027">(Sep 13 2018 at 15:25)</a>:</h4>
<p>I'm going to need to read a bit. What about function pointers, tho?</p>



<a name="133893030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893030">(Sep 13 2018 at 15:25)</a>:</h4>
<p>er, <span class="user-mention" data-user-id="126854">@avadacatavra</span>, I hadn't seen your edit but you said part of what I wanted to say :)</p>



<a name="133893047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893047">(Sep 13 2018 at 15:25)</a>:</h4>
<p>which is that if there is an idea that seems to have tentative consensus, I Think trying to write it up (with a caveat, perhaps) is a good way to make that consensus more precise</p>



<a name="133893055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893055">(Sep 13 2018 at 15:25)</a>:</h4>
<blockquote>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> would we have one PR per issue?</p>
</blockquote>
<p>a good question :) I think .. maybe yes?</p>



<a name="133893111"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893111" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893111">(Sep 13 2018 at 15:26)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> given a starting point, we can iterate with fork-pr-review on the md book</p>



<a name="133893119"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893119" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893119">(Sep 13 2018 at 15:26)</a>:</h4>
<p>that was the goal of the issues was to try and break down into reasonable, bite-sized chunks</p>



<a name="133893122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893122">(Sep 13 2018 at 15:26)</a>:</h4>
<p>I think if one PR doesn't fit</p>



<a name="133893125"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893125" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893125">(Sep 13 2018 at 15:26)</a>:</h4>
<p>then maybe we can need to split the issue further up</p>



<a name="133893135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893135">(Sep 13 2018 at 15:26)</a>:</h4>
<p>I guess I can imagine PRs that say "Closes <a href="https://github.com/rust-lang/rust/issues/123" target="_blank" title="https://github.com/rust-lang/rust/issues/123">#123</a>"</p>



<a name="133893138"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893138" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893138">(Sep 13 2018 at 15:26)</a>:</h4>
<p>(and a corresponding comment in the issue linking to the PR, to make it more visible)</p>



<a name="133893143"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893143" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893143">(Sep 13 2018 at 15:26)</a>:</h4>
<p>as a way to kind of "call to question"</p>



<a name="133893154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893154">(Sep 13 2018 at 15:27)</a>:</h4>
<p>I personally would say:</p>



<a name="133893157"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893157" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893157">(Sep 13 2018 at 15:27)</a>:</h4>
<p>okay, what are the actual guarantees we're asking about?</p>



<a name="133893160"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893160" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893160">(Sep 13 2018 at 15:27)</a>:</h4>
<p>if there are remaining things that need further discussion</p>



<a name="133893166"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893166" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893166">(Sep 13 2018 at 15:27)</a>:</h4>
<p>we should (upon merging the PR), open new issues for those</p>



<a name="133893177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893177">(Sep 13 2018 at 15:27)</a>:</h4>
<blockquote>
<p>okay, what are the actual guarantees we're asking about?</p>
</blockquote>
<p>the current area of discussion is memory layout specifically, as well as things like ABI compatibility</p>



<a name="133893243"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893243" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893243">(Sep 13 2018 at 15:28)</a>:</h4>
<p>here were my thoughts on unions: <br>
  - Conclusion: we should “describe the controversy,” not make specific rules<br>
    - <a href="https://github.com/rust-rfcs/unsafe-code-guidelines/issues/13#issuecomment-420074167" target="_blank" title="https://github.com/rust-rfcs/unsafe-code-guidelines/issues/13#issuecomment-420074167">https://github.com/rust-rfcs/unsafe-code-guidelines/issues/13#issuecomment-420074167</a><br>
    - repr(C) unions guaranteed to be layout and ABI compatible with C unions<br>
    - default layout not fixed, revisit after validity invariants<br>
    - are there any use cases for layout optimizations with unions</p>



<a name="133893244"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893244" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893244">(Sep 13 2018 at 15:28)</a>:</h4>
<p>we are explicitly <em>not</em> discussing the "invariants"</p>



<a name="133893249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893249">(Sep 13 2018 at 15:28)</a>:</h4>
<p>okay, and the current consensus is no guarantees, beyond those already made?</p>



<a name="133893259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893259">(Sep 13 2018 at 15:28)</a>:</h4>
<p><span class="user-mention" data-user-id="125253">@Nicole Mazzuca</span> I <em>think</em> the consensus was that the memory layout for fn pointers is just the same as for non-null pointers. I could be wrong though.</p>



<a name="133893268"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893268" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893268">(Sep 13 2018 at 15:28)</a>:</h4>
<p><span class="user-mention" data-user-id="128323">@Alan Jeffrey</span> that's incorrect on some platforms tho</p>



<a name="133893278"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893278" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893278">(Sep 13 2018 at 15:29)</a>:</h4>
<p>(although it is common)</p>



<a name="133893296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893296">(Sep 13 2018 at 15:29)</a>:</h4>
<p>I think what I would like is to try and enumerate the platforms where it is/isn't true</p>



<a name="133893299"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893299" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893299">(Sep 13 2018 at 15:29)</a>:</h4>
<p>/me couldn't actually tell what the consensus was, but it seemed like people were mostly agreeing on function pointers</p>



<a name="133893303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893303">(Sep 13 2018 at 15:29)</a>:</h4>
<p>It seems odd to define that in the "standard", when you could just have it as a common platform-specific thing</p>



<a name="133893310"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893310" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893310">(Sep 13 2018 at 15:29)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> i think that's the best way to approach it</p>



<a name="133893321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893321">(Sep 13 2018 at 15:29)</a>:</h4>
<p>summarize the commonalities and point out the differences</p>



<a name="133893326"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893326" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893326">(Sep 13 2018 at 15:30)</a>:</h4>
<p>I know this question comes up</p>



<a name="133893369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893369">(Sep 13 2018 at 15:30)</a>:</h4>
<p><span class="user-mention" data-user-id="125253">@Nicole Mazzuca</span> I think we might be getting into the weeds here, perhaps we should discuss this on the GH issue?</p>



<a name="133893370"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893370" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893370">(Sep 13 2018 at 15:30)</a>:</h4>
<p>so I think it's important to offer people practical advice</p>



<a name="133893383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893383">(Sep 13 2018 at 15:30)</a>:</h4>
<p>but yes, this is precisely the sort of thing that a write-up can help make more clear I think :)</p>



<a name="133893388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893388">(Sep 13 2018 at 15:30)</a>:</h4>
<p>maybe <span class="user-mention" data-user-id="125253">@Nicole Mazzuca</span> would be interested in writing that up? ;)</p>



<a name="133893390"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893390" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893390">(Sep 13 2018 at 15:30)</a>:</h4>
<p>I think for purposes of this meeting we probably ought to delegate out who will do writing</p>



<a name="133893402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893402">(Sep 13 2018 at 15:30)</a>:</h4>
<p>sure, although it'll be a while :P</p>



<a name="133893418"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893418" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893418">(Sep 13 2018 at 15:31)</a>:</h4>
<p>(I have end of internship this week, into new York next week, into cppcon the following week)</p>



<a name="133893434"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893434" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893434">(Sep 13 2018 at 15:31)</a>:</h4>
<p>This was the list that <span class="user-mention" data-user-id="126854">@avadacatavra</span> made up:</p>
<ul>
<li>unions</li>
<li>tuples</li>
<li>function pointers</li>
</ul>
<p>but I think we probably can do a bit more -- at least starting points -- for other issues? I originally hoped that we could kind of produce an "in progress" summary to help focus the discussion. Does that maybe make sense?</p>



<a name="133893436"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893436" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893436">(Sep 13 2018 at 15:31)</a>:</h4>
<p>i'm happy to write some up, but i don't necessarily understand all the topics (which is sometimes helpful, but ends up with me pinging all of you a ton) -- i think it would be a good idea to have some tags for issues that are ready for writeup and ones that are assigned</p>



<a name="133893487"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893487" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893487">(Sep 13 2018 at 15:32)</a>:</h4>
<p>I guess let's start with those 3</p>



<a name="133893489"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893489" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893489">(Sep 13 2018 at 15:32)</a>:</h4>
<p>and worry about the rest later</p>



<a name="133893496"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893496" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893496">(Sep 13 2018 at 15:32)</a>:</h4>
<p>yes, tags makes sense</p>



<a name="133893497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893497">(Sep 13 2018 at 15:32)</a>:</h4>
<p>are there any others that we think might be ready for writeups?</p>



<a name="133893498"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893498" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893498">(Sep 13 2018 at 15:32)</a>:</h4>
<p>we can probably try to issue a general call for help</p>



<a name="133893501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893501">(Sep 13 2018 at 15:32)</a>:</h4>
<p>I can take function pointers if you're okay with waiting 2 1/2 weeks</p>



<a name="133893518"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893518" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893518">(Sep 13 2018 at 15:32)</a>:</h4>
<blockquote>
<p>I can take function pointers if you're okay with waiting 2 1/2 weeks</p>
</blockquote>
<p>that is probably ok</p>



<a name="133893519"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893519" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893519">(Sep 13 2018 at 15:32)</a>:</h4>
<p>i was somewhat surprised to see that the integers/floating point thread had the most comments</p>



<a name="133893526"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893526" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893526">(Sep 13 2018 at 15:33)</a>:</h4>
<p>heh</p>



<a name="133893532"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893532" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893532">(Sep 13 2018 at 15:33)</a>:</h4>
<p>Not sure how we're getting consensus on tuples w/out consensus on structs.</p>



<a name="133893537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893537">(Sep 13 2018 at 15:33)</a>:</h4>
<p>I suspect <a href="https://github.com/rust-rfcs/unsafe-code-guidelines/issues/17" target="_blank" title="https://github.com/rust-rfcs/unsafe-code-guidelines/issues/17">"packed and align"</a> is maybe ready?</p>



<a name="133893544"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893544" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893544">(Sep 13 2018 at 15:33)</a>:</h4>
<p>well, I think tuples were sort of going to be defined somewhat in terms of structs</p>



<a name="133893546"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893546" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893546">(Sep 13 2018 at 15:33)</a>:</h4>
<p>so it sort of sidesteps the problem :P</p>



<a name="133893560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893560">(Sep 13 2018 at 15:33)</a>:</h4>
<p>OK, we have consensus to punt :)</p>



<a name="133893565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893565">(Sep 13 2018 at 15:33)</a>:</h4>
<p>that said, how much controversy was there about structs? I guess some</p>



<a name="133893608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893608">(Sep 13 2018 at 15:34)</a>:</h4>
<p>I think it would be very helpful to have somebody look at structs and try to tease out what the core question is</p>



<a name="133893620"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893620" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893620">(Sep 13 2018 at 15:34)</a>:</h4>
<p>if memory serves, Josh Tripplet had a kind of different perspective about layout (e.g., that it should be more defined)</p>



<a name="133893640"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893640" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893640">(Sep 13 2018 at 15:34)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> yep--are they here?</p>



<a name="133893645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893645">(Sep 13 2018 at 15:35)</a>:</h4>
<p>they're not on Zulip to my knowledge</p>



<a name="133893657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893657">(Sep 13 2018 at 15:35)</a>:</h4>
<p>but I think this wouldn't be the time/place to discuss the technical details anyway</p>



<a name="133893662"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893662" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893662">(Sep 13 2018 at 15:35)</a>:</h4>
<p>/me can ping on gh to see if they're interested in the writeup</p>



<a name="133893741"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893741" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893741">(Sep 13 2018 at 15:36)</a>:</h4>
<p>so, I think I'd be game to try and write-up something on tuples + structs</p>



<a name="133893743"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893743" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893743">(Sep 13 2018 at 15:36)</a>:</h4>
<p>I can touch base with Josh perhaps</p>



<a name="133893763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893763">(Sep 13 2018 at 15:36)</a>:</h4>
<p>they do seem tightly inter-related</p>



<a name="133893781"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893781" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893781">(Sep 13 2018 at 15:37)</a>:</h4>
<p>in the case of structs, I think it wouldn't be a "final write-up", but more trying to tease out the pros/cons and try to organize the discussion</p>



<a name="133893799"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893799" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893799">(Sep 13 2018 at 15:37)</a>:</h4>
<p>Ok, so writeups wanted for:<br>
-function pointers: <span class="user-mention" data-user-id="125253">@Nicole Mazzuca</span> <br>
- structs: <span class="user-mention" data-user-id="116009">@nikomatsakis</span> <br>
- tuples: <span class="user-mention" data-user-id="116009">@nikomatsakis</span><br>
-enums<br>
-unions<br>
-packed/align<br>
-integers/floating points<br>
-references and pointers: <span class="user-mention" data-user-id="126854">@avadacatavra</span></p>



<a name="133893852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893852">(Sep 13 2018 at 15:38)</a>:</h4>
<p>i guess unions and enums are also very related</p>



<a name="133893865"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893865" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893865">(Sep 13 2018 at 15:38)</a>:</h4>
<p>well</p>



<a name="133893870"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893870" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893870">(Sep 13 2018 at 15:38)</a>:</h4>
<p>maybe a bit less so?</p>



<a name="133893871"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893871" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893871">(Sep 13 2018 at 15:38)</a>:</h4>
<p>Also, we should have a PR to update the TOC at <a href="https://github.com/rust-rfcs/unsafe-code-guidelines/blob/master/reference/src/SUMMARY.md" target="_blank" title="https://github.com/rust-rfcs/unsafe-code-guidelines/blob/master/reference/src/SUMMARY.md">https://github.com/rust-rfcs/unsafe-code-guidelines/blob/master/reference/src/SUMMARY.md</a></p>



<a name="133893885"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893885" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893885">(Sep 13 2018 at 15:39)</a>:</h4>
<p>yes, true</p>



<a name="133893913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893913">(Sep 13 2018 at 15:39)</a>:</h4>
<p>I think union + enums, in practice, are quite different, unless we wind up adding some sort of mechanism that guarantees a union is initialized to some variant.</p>



<a name="133893952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893952">(Sep 13 2018 at 15:40)</a>:</h4>
<p>are there any in the list that we think need more discussion on gh before a writeup attempt</p>



<a name="133893958"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893958" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893958">(Sep 13 2018 at 15:40)</a>:</h4>
<p>which kind of gets into the "validity invariant" question</p>



<a name="133893970"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893970" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893970">(Sep 13 2018 at 15:40)</a>:</h4>
<p>also, importantly, we don't currently do any layout optimizations there</p>



<a name="133893976"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893976" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893976">(Sep 13 2018 at 15:40)</a>:</h4>
<p>whereas we do with enums</p>



<a name="133893977"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893977" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893977">(Sep 13 2018 at 15:40)</a>:</h4>
<p>We'd need a skeleton "memory layout" chapter, which the other PRs would flesh out.</p>



<a name="133893987"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893987" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893987">(Sep 13 2018 at 15:40)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> then they are not related for our purposes today <span class="emoji emoji-1f17f" title="p">:p:</span></p>



<a name="133893993"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133893993" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133893993">(Sep 13 2018 at 15:40)</a>:</h4>
<p>/me sighs</p>



<a name="133894007"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894007" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894007">(Sep 13 2018 at 15:40)</a>:</h4>
<p>there is some circularity around the validity invariant, but the idea was: we should start by documenting what we currently do, so that it can be an input into the invariant question (the invariant must justify at <em>least</em> what we do now)</p>



<a name="133894048"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894048" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894048">(Sep 13 2018 at 15:41)</a>:</h4>
<p>so somebody should make a skeleton chapter of summary.md with appropriate subchapters, agreed</p>



<a name="133894052"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894052" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894052">(Sep 13 2018 at 15:41)</a>:</h4>
<p><span class="user-mention" data-user-id="128323">@Alan Jeffrey</span> ? :)</p>



<a name="133894063"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894063" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894063">(Sep 13 2018 at 15:41)</a>:</h4>
<p>(no good deed goes unpunished)</p>



<a name="133894067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894067">(Sep 13 2018 at 15:41)</a>:</h4>
<p>ideally quickly, and we can just merge it</p>



<a name="133894071"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894071" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894071">(Sep 13 2018 at 15:41)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> by "what we do now" you mean (e.g.) optimizations?</p>



<a name="133894122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894122">(Sep 13 2018 at 15:42)</a>:</h4>
<p>I can do the skeleton.</p>



<a name="133894127"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894127" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894127">(Sep 13 2018 at 15:42)</a>:</h4>
<p>yes, though also more generally. But for the purposes of the validity invariant optimizations are most imp't</p>



<a name="133894161"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894161" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894161">(Sep 13 2018 at 15:42)</a>:</h4>
<p><span class="user-mention" data-user-id="126854">@avadacatavra</span> you keep editing comments when I don't expect it :) sorry, missed that you had expanded your writeup</p>



<a name="133894163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894163">(Sep 13 2018 at 15:42)</a>:</h4>
<p>What's our process for deciding when to merge a PR?</p>



<a name="133894200"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894200" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894200">(Sep 13 2018 at 15:43)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> sorrryyyyyyy my fingers aren't fast enough</p>



<a name="133894204"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894204" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894204">(Sep 13 2018 at 15:43)</a>:</h4>
<p>not yet super formalized...I've been hoping we'll be able to achieve general consensus. If something is controversial, then we document the pro/con</p>



<a name="133894275"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894275" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894275">(Sep 13 2018 at 15:44)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> general consensus is achieved on the PR discussion, or on the issue discussion?</p>



<a name="133894291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894291">(Sep 13 2018 at 15:44)</a>:</h4>
<p>both?</p>



<a name="133894294"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894294" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894294">(Sep 13 2018 at 15:44)</a>:</h4>
<p>Documenting pro/con/tradeoffs counts as consensus IMO. We don't need to agree on what the answer is, but we should agree on what the questions are</p>



<a name="133894300"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894300" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894300">(Sep 13 2018 at 15:44)</a>:</h4>
<p>I mean the PR is sort of documenting the issue</p>



<a name="133894312"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894312" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894312">(Sep 13 2018 at 15:44)</a>:</h4>
<p>I guess "the PR thread" then... it's hard to say what discussion on an issue means, since there is no specific text.</p>



<a name="133894328"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894328" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894328">(Sep 13 2018 at 15:45)</a>:</h4>
<p>s/documenting/resolving/ ?</p>



<a name="133894331"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894331" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894331">(Sep 13 2018 at 15:45)</a>:</h4>
<p>no</p>



<a name="133894334"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894334" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894334">(Sep 13 2018 at 15:45)</a>:</h4>
<p><span class="user-mention" data-user-id="128323">@Alan Jeffrey</span> i see it as using the consensus/discussion from the issue to create the writeup PR, then use the writeup for further refinement</p>



<a name="133894341"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894341" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894341">(Sep 13 2018 at 15:45)</a>:</h4>
<p>right, I meant that the write-up should reflect what was said. It doesn't have to show the path that led there, but it tries to take general comments and make them more precise.</p>



<a name="133894391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894391">(Sep 13 2018 at 15:46)</a>:</h4>
<p>people can then read and say if it seems to reflect what they had in mind, or if they disagree (and why)</p>



<a name="133894392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894392">(Sep 13 2018 at 15:46)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> so the idea is that each issue might have multiple PRs?</p>



<a name="133894399"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894399" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894399">(Sep 13 2018 at 15:46)</a>:</h4>
<p>I expected one PR</p>



<a name="133894405"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894405" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894405">(Sep 13 2018 at 15:46)</a>:</h4>
<p>if nobody agrees on anything in it, we close it and try again</p>



<a name="133894408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894408">(Sep 13 2018 at 15:47)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> in which case why the "no" to "resolving"?</p>



<a name="133894410"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894410" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894410">(Sep 13 2018 at 15:47)</a>:</h4>
<p><span class="user-mention" data-user-id="128323">@Alan Jeffrey</span> <span class="user-mention" data-user-id="116009">@nikomatsakis</span>  i think that this process might need more discussion/documentation after we try it out</p>



<a name="133894413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894413">(Sep 13 2018 at 15:47)</a>:</h4>
<p>otherwise, it could be that we want to merge and open follow-up issues</p>



<a name="133894416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894416">(Sep 13 2018 at 15:47)</a>:</h4>
<p>I also agree :)</p>



<a name="133894420"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894420" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894420">(Sep 13 2018 at 15:47)</a>:</h4>
<p>because we're out of time and i'd like to bring up a few things quickly</p>



<a name="133894430"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894430" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894430">(Sep 13 2018 at 15:47)</a>:</h4>
<p>go for it</p>



<a name="133894444"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894444" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894444">(Sep 13 2018 at 15:48)</a>:</h4>
<p>(ps, I think that we should do the tags, like you said, and post a comment somewhere asking for follow-up)</p>



<a name="133894490"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894490" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894490">(Sep 13 2018 at 15:48)</a>:</h4>
<p>if others want to take a stab</p>



<a name="133894496"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894496" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894496">(Sep 13 2018 at 15:48)</a>:</h4>
<p>but maybe we wait until we've done it once or twice</p>



<a name="133894497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894497">(Sep 13 2018 at 15:48)</a>:</h4>
<p>OK, we'll see how the "add a memory layout chapter" PR goes, since that's probably quite uncontroversial.</p>



<a name="133894498"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894498" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894498">(Sep 13 2018 at 15:48)</a>:</h4>
<p>so we have a model</p>



<a name="133894501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894501">(Sep 13 2018 at 15:48)</a>:</h4>
<p>1. when we encounter a topic that is related to the active discussion but orthogonal, how should we record it for revisiting? (doesn't need to be answered right now, but i'd like to think about it)</p>



<a name="133894561"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894561" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894561">(Sep 13 2018 at 15:49)</a>:</h4>
<p>2. it looks like the plan is for some people to try writeups! tonight i'll do some organization on the repo when i summarize the meeting. i'm planning on creating tags and proposing a pr process (and next week trying it out with one of the topics).</p>



<a name="133894646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894646">(Sep 13 2018 at 15:50)</a>:</h4>
<blockquote>
<p>1. when we encounter a topic that is related to the active discussion but orthogonal, how should we record it for revisiting? (doesn't need to be answered right now, but i'd like to think about it)</p>
</blockquote>
<p>I've been opening issues tagged with "proposed discussion topic"</p>



<a name="133894661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894661">(Sep 13 2018 at 15:51)</a>:</h4>
<p>overall, i think that the wg structure is working--needs to have some wrinkles ironed out, but the discussions look great and if we can be a bit more on top of writeups we'll be even better</p>



<a name="133894662"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894662" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894662">(Sep 13 2018 at 15:51)</a>:</h4>
<blockquote>
<p>2. it looks like the plan is for some people to try writeups! tonight i'll do some organization on the repo when i summarize the meeting. i'm planning on creating tags and proposing a pr process (and next week trying it out with one of the topics).</p>
</blockquote>
<p>sounds good! I agree with you that we'll want to iterate. I don't think we've really tried to do something quite like this before...</p>



<a name="133894671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894671">(Sep 13 2018 at 15:51)</a>:</h4>
<p>Oh, and a late and annoying agenda item, licensing! <a href="https://github.com/rust-rfcs/unsafe-code-guidelines/issues/20" target="_blank" title="https://github.com/rust-rfcs/unsafe-code-guidelines/issues/20">https://github.com/rust-rfcs/unsafe-code-guidelines/issues/20</a></p>



<a name="133894684"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894684" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894684">(Sep 13 2018 at 15:51)</a>:</h4>
<p>oh, yeah, annoying.</p>



<a name="133894688"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894688" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894688">(Sep 13 2018 at 15:51)</a>:</h4>
<p>we should do whatever the Rust reference does I guess</p>



<a name="133894702"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894702" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894702">(Sep 13 2018 at 15:51)</a>:</h4>
<p><a href="https://github.com/rust-lang-nursery/reference" target="_blank" title="https://github.com/rust-lang-nursery/reference">https://github.com/rust-lang-nursery/reference</a></p>



<a name="133894754"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894754" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894754">(Sep 13 2018 at 15:52)</a>:</h4>
<p>seems like LICENSE-MIT and LICENSE-APACHE.</p>



<a name="133894763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894763">(Sep 13 2018 at 15:52)</a>:</h4>
<p>Er, those are code licenses not doc licenses.</p>



<a name="133894768"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894768" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894768">(Sep 13 2018 at 15:52)</a>:</h4>
<blockquote>
<blockquote>
<p>1. when we encounter a topic that is related to the active discussion but orthogonal, how should we record it for revisiting? (doesn't need to be answered right now, but i'd like to think about it)</p>
</blockquote>
<p>I've been opening issues tagged with "proposed discussion topic"</p>
</blockquote>
<p>i'm thinking more things that aren't necessarily full discussion topics. particularly things in the layout discussions that we might also want to discuss with ffi stuff. although i suppose that could just take the form of a comment on an FFI proposed topic issue</p>



<a name="133894770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894770">(Sep 13 2018 at 15:52)</a>:</h4>
<p>/me shrugs</p>



<a name="133894778"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894778" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894778">(Sep 13 2018 at 15:52)</a>:</h4>
<p>I was expecting a CC license.</p>



<a name="133894781"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894781" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894781">(Sep 13 2018 at 15:52)</a>:</h4>
<p>and <span class="user-mention" data-user-id="128323">@Alan Jeffrey</span> volunteers to take care of licensing!</p>



<a name="133894783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894783">(Sep 13 2018 at 15:52)</a>:</h4>
<p>and/or whatever the rust book does</p>



<a name="133894787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894787">(Sep 13 2018 at 15:52)</a>:</h4>
<p>We should definitely use something like CC-BY</p>



<a name="133894795"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894795" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894795">(Sep 13 2018 at 15:53)</a>:</h4>
<p>I appear to be volunteering for things :/</p>



<a name="133894800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894800">(Sep 13 2018 at 15:53)</a>:</h4>
<p>and also maybe figure out if we can fix the rust reference?</p>



<a name="133894807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> avadacatavra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894807">(Sep 13 2018 at 15:53)</a>:</h4>
<p>I have to go--I'll send out a summary later today. Good work comrades.</p>



<a name="133894811"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894811" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nicole Mazzuca <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894811">(Sep 13 2018 at 15:53)</a>:</h4>
<p>why did people use MIT/Apache for documentation -.-</p>



<a name="133894813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alan Jeffrey <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894813">(Sep 13 2018 at 15:53)</a>:</h4>
<p>Bye everyone!</p>



<a name="133894866"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133894866" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133894866">(Sep 13 2018 at 15:54)</a>:</h4>
<p>I will check on licensing. I don't have a strong opinion (yet) =)</p>



<a name="133895654"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133895654" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> est31 <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133895654">(Sep 13 2018 at 16:07)</a>:</h4>
<p>Thanks for taking care of the licensing!</p>



<a name="133908836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133908836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> alercah <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133908836">(Sep 13 2018 at 19:49)</a>:</h4>
<p>As a practical matter, even if we could put all documentation under a more appropriate license, it'd cause no end of headache if we want to move docs between rustdoc and other documentation.</p>



<a name="133908892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting%202018-09-13/near/133908892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> alercah <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/meeting.202018-09-13.html#133908892">(Sep 13 2018 at 19:49)</a>:</h4>
<p>"You need to put attribution in the docs for this function because it came from the book."</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>